Fix dependencies of erc in doc/misc/makefile.w32-in.
authorEli Zaretskii <eliz@gnu.org>
Sat, 22 Dec 2012 09:02:24 +0000 (11:02 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sat, 22 Dec 2012 09:02:24 +0000 (11:02 +0200)
commit559593152b9de5a1c144729e0583fa7968abab22
treee8406df1af968bc412c5c45ee81648465322c402
parent15eab7b074c549b8896df2c0768b173840207dc0
Fix dependencies of erc in doc/misc/makefile.w32-in.

 doc/misc/makefile.w32-in: ($(infodir)/erc$(INFO_EXT), erc.dvi): Don't
 depend on gpl.texi.
doc/misc/ChangeLog
doc/misc/makefile.w32-in